λβ↓QI∀8(α`ε`∨`B⊂@∧%↓pπ@λα␈␈x␈}␈␈Xα@P¬⊂ λ∧@↓⊂¬⊂?}h∧@↓⊂¬⊂?}h∧@α0¬⊂?⎇H∧@↓⊂¬⊂?⎇H∧@βP¬⊂?⎇H∧@α0¬⊂?⎇H∧@βP∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x∨␈x
  λ	@↓⊂
 ?}h	@↓⊂
 ?}h	@α0
 ?⎇H	@↓⊂
 ?⎇H	@βP
 ?⎇H	@α0
 ?⎇H	@βP⊂⊂P∩⊂∪P⊗@_≤ ∨⊂␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x#0& )⊂/1p:P@@␈⎇@H∨G⎇␈x␈␈␈␈x␈␈oxx`␈{@↓λ3→Lf04f3→HLYLf03~3→HLf,f03→M→HLf3⊗03→LfHLf3→H3→Lf00␈{@↓λ3→Lf04f3→HLYLf03~3→HLf,f03→M→HLf3⊗03→LfHLf3→H3→Lf00␈v@↓λ3→Hf03→Lb03~3→@Lf3→HHf3⊗03⊃Lf03→Df04f3	HLf3→λLf,f0#→Lf03	LfHLf∪→HLf2→HLYLd03→Lf0∪→M→HL&3→HLd3→H3→Hf03→Lb03_␈{@↓λ3→Lf04f3→HLYLf03~3→HLf,f03→M→HLf3⊗03→LfHLf3→H3→Lf00␈q@↓λ3→H→Lf03_∪→M→HLHLf3→H→HLYLdf03→L	LfHLf∧f3→HL@λLf,f0 ε03→Lf∧f04f3α3→HLf f3⊗03⊂3→Lf00α03~3→@↓→HLf3⊂3→H3→H→Lf03_∪→L␈v@↓λ3→Hf03→Lb03~3→@Lf3→HHf3⊗03⊃Lf03→Df04f3	HLf3→λLf,f0#→Lf03	LfHLf∪→HLf2→HLYLd03→Lf0∪→M→HL&3→HLd3→H3→Hf03→Lb03_␈q@↓λ3→Hf02→Lf03_Lf0∪→M→HL&3_HLf3→Hf2→HLYLd03→f03→L&03	LfHLf∪→HDf3→HLF3→λLf,f0#→LF03→Lf⊂3→Df04f3	HLb3→HLf#→HHf3⊗03⊃Lf 3→Lf01→Lb03~3→@Lf1→HLf3⊃HLd3→H3→Hf02→Lf03_Lf0∪→L␈{@α(3→Lf04f3→HLYLf03~3→HLf,f03→M→HLf3⊗03→LfHLf3→H3→Lf00→Lf03~3→HLf,f03→M→HLf3⊗03→LfHLf3→H3→Lf04f3→HLYLf03_␈{@α(3→Lf04f3→HLYLf03~3→HLf,f03→M→HLf3⊗03→LfHLf3→H3→Lf00→Lf03~3→HLf,f03→M→HLf3⊗03→LfHLf3→H3→Lf04f3→HLYLf03_␈v@α(3→Hf03→Lb03~3→@Lf3→HHf3⊗03⊃Lf03→Df04f3	HLf3→λLf,f0#→Lf03	LfHLf∪→HLf2→HLYLd03→Lf0∪→M→HL&3→HLd3→H3→Hf03→Lb03_ε03⊃Lf03→Df04f3	HLf3→λLf,f0#→Lf03	LfHLf∪→HLf2→HLYLd03→Lf0∪→M→HL&3→HLd3→H3→Hf03→Lb03~3→@Lf3→HHf3⊗03⊃Lf03→Df00␈{@α(3→Lf04f3→HLYLf03~3→HLf,f03→M→HLf3⊗03→LfHLf3→H3→Lf00→Lf03~3→HLf,f03→M→HLf3⊗03→LfHLf3→H3→Lf04f3→HLYLf03_␈q@α(3→H→Lf03_∪→M→HLHLf3→H→HLYLdf03→L	LfHLf∧f3→HL@λLf,f0 ε03→Lf∧f04f3α3→HLf f3⊗03⊂3→Lf00α03~3→@↓→HLf3⊂3→H3→H→Lf03_∪→L→Ldf03→L	LfHLf∧f3→HL@λLf,f0 ε03→Lf∧f04f3α3→HLf f3⊗03⊂3→Lf00α03~3→@↓→HLf3⊂3→H3→H→Lf03_∪→M→HLHLf3→H→HLYLdf03→L	Lf␈v@α(3→Hf03→Lb03~3→@Lf3→HHf3⊗03⊃Lf03→Df04f3	HLf3→λLf,f0#→Lf03	LfHLf∪→HLf2→HLYLd03→Lf0∪→M→HL&3→HLd3→H3→Hf03→Lb03_ε03⊃Lf03→Df04f3	HLf3→λLf,f0#→Lf03	LfHLf∪→HLf2→HLYLd03→Lf0∪→M→HL&3→HLd3→H3→Hf03→Lb03~3→@Lf3→HHf3⊗03⊃Lf03→Df00␈q@α(3→Hf02→Lf03_Lf0∪→M→HL&3_HLf3→Hf2→HLYLd03→f03→L&03	LfHLf∪→HDf3→HLF3→λLf,f0#→LF03→Lf⊂3→Df04f3	HLb3→HLf#→HHf3⊗03⊃Lf 3→Lf01→Lb03~3→@Lf1→HLf3⊃HLd3→H3→Hf02→Lf03_Lf0∪→L→Ld03→f03→L&03	LfHLf∪→HDf3→HLF3→λLf,f0#→LF03→Lf⊂3→Df04f3	HLb3→HLf#→HHf3⊗03⊃Lf 3→Lf01→Lb03~3→@Lf1→HLf3⊃HLd3→H3→Hf02→Lf03_Lf0∪→M→HL&3_HLf3→Hf2→HLYLd03→f03→L&03	Lf